#include <textmode.h>
#include <io.h>
#include <memanip.h>
#include <types.h>
#include <gdt.h>
#include <string.h>
#include <idt.h>

#include <task.h>

void
kmain ()
{
  clear_screen ();
  set_color (WHITE);
  kprint
    ("\nWelcome to the HardMetal Operating System, The kernel is now starting up....\n");
  kprint ("Loading.........\n");
  gdt_install ();
  idt_install ();
  kprint ("PAGING   NOT SET UP\nMULTITASKING   NOT SET UP\n");
}
